# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /cvs/zport/sci-mathematics/gappa/gappa-0.7.2.ebuild,v 1.1.1.1 2006/11/22 16:05:34 zechs Exp $

inherit eutils

DESCRIPTION="Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic."
HOMEPAGE="http://lipforge.ens-lyon.fr/www/gappa/"
SRC_URI="http://lipforge.ens-lyon.fr/frs/download.php/80/${P}.tar.gz"

LICENSE="CeCILL"
SLOT="0"
KEYWORDS="x86 sparc"

IUSE=""
DEPEND="dev-libs/boost"

src_unpack() {
	unpack ${A}
}

src_compile() {
	econf || die
	emake || die
}

src_install() {
	local myconf="prefix=${D}usr"

	emake $myconf install || die
}
